Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Tesis	Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML:	Dias Molina, María José	(2011)	Sala	----------